NaturalSemantics Speci cations

This paper proposes an application of programming environments generation to structured document manipulation. We use the Centaur system as a formal tool to model and implement logical and physical document structure, logical structure editing, layout processing, format conversion, and document queries, for a sample class of documents: scientiic articles including equations and gures. We support two particular concrete external syntaxes for logical structure: L a T E X and Tioga (Tioga is a WYSI-WYG editor in the Cedar programming environment). From the formal speciications of the logical and physical structures of the Article document class, and a formal speciication of a layout process for it (i.e. a formal "semantics" for it), the Centaur system automatically generates a structured environment for Articles, as well as a format converter between L a T E X and Tioga instances of them.